Go to content
- {{#headlines}}
- {{title}} {{/headlines}}
Profile
| Academic position | Associate Professor, Senior Lecturer, Reader |
|---|---|
| Research fields | Theoretical Philosophy,Fundamentals of Mathematics, Logics, Set Theory |
| Keywords | semantics, formal philosophy, Non-classical logics, abstract consequence relations, logical frameworks |
| Honours and awards | : Bessel Prize |
Current contact address
| Country | Brazil |
|---|---|
| City | Natal |
| Institution | Universidade Federal do Rio Grande do Norte (UFRN) |
| Institute | Departamento de Informatica e Matematica Aplicada |
Host during sponsorship
| Prof. Dr. Heinrich Wansing | Institut für Philosophie II, Ruhr-Universität Bochum, Bochum |
|---|---|
| Start of initial sponsorship | 01/02/2017 |
Programme(s)
| 2016 | Friedrich Wilhelm Bessel Research Award Programme |
|---|
Nominator's project description
| Professor João Marcos is among the world's leading experts on non-classical logics. The philosopher is well known for his investigation of an important class of inconsistency-tolerant logical systems called “logics of formal inconsistency”. The syntax of such systems allows one to encode the meta-theoretical notions of consistency (and inconsistency) in the object language. Professor Marcos has also made important contributions to the study of generalized conceptions of the compositionality of meaning. |